Comparing definitions of weak higher categories
نویسنده
چکیده
The theory of operads, defined through categories of labeled graphs, is generalized to suit definitions of higher categories with arbitrary basic shapes. Constructions of cubical, globular and opetopic weak higher categories are obtained as examples.
منابع مشابه
Steps toward the weak higher category of weak higher categories in the globular setting
We start this article by rebuilding higher operads of weak higher transformations, and correct those in cite{Cambat}. As in cite{Cambat} we propose an operadic approach for weak higher $n$-transformations, for each $ninmathbb{N}$, where such weak higher $n$-transformations are seen as algebras for specific contractible higher operads. The last chapter of this article asserts that, up to precise...
متن کاملOperads of higher transformations for globular sets and for higher magmas
In this article we discuss examples of fractal $omega$-operads. Thus we show that there is an $omega$-operadic approach to explain existence of the globular set of globular setsfootnote{Globular sets are also called $omega$-graphs by the French School.}, the reflexive globular set of reflexive globular sets, the $omega$-magma of $omega$-magmas, and also the reflexive $omega$-magma ...
متن کاملWeak identity arrows in higher categories
There are a dozen definitions of weak higher categories, all of which loosen the notion of composition of arrows. A new approach is presented here, where instead the notion of identity arrow is weakened — these are tentatively called fair categories. The approach is simplicial in spirit, but the usual simplicial category ∆ is replaced by a certain ‘fat’ delta of ‘coloured ordinals’, where the d...
متن کاملOn Comparing Definitions of "weak N–category"
1. My approach is "foundational". On the one hand, I am motivated by the problem of the foundations of mathematics (an unsolved problem as far as I am concerned). On the other hand-and this is more relevant here-, I start "from scratch", and thus what I say can be understood with little technical knowledge. I only assume a modest amount of category theory as background. I will talk informally a...
متن کاملComparing categories among geographic ontologies
Numerous attempts have been made to generate semantic ‘‘mappings’’ between different ontologies, or create aligned/integrated ones. An essential step towards their success is the ability to compare the categories involved. This paper introduces a systematic methodology for comparing categories met in geographic ontologies. The methodology explores/extracts semantic information provided by categ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009